gdkdevice-wayland: Update pointer scale on tablet tool proximity events
authorMarco Trevisan (Treviño) <mail@3v1n0.net>
Fri, 15 Feb 2019 01:42:23 +0000 (02:42 +0100)
committerMarco Trevisan (Treviño) <mail@3v1n0.net>
Fri, 15 Feb 2019 02:03:50 +0000 (03:03 +0100)
commit8385543e1c512680d51aa38620b347049ce385d3
tree33c4578b9de3740ea3f8911fb95fdf0b5e199dc1
parentacaa2574697f7a09aa75b39d4affb917acd56217
gdkdevice-wayland: Update pointer scale on tablet tool proximity events

When the user approaches a tablet tool to the screen we get a proximity-in event
and in this moment we need to check the surface output scale to find the scaling
to be applied to the cursor.
And the same should be done when the tool is detached or the monitors
configuration changes.

https://gitlab.gnome.org/GNOME/gtk/issues/1675
gdk/wayland/gdkdevice-wayland.c